T1 Uniform metric derivation for quantitative models of computation In order to study services from a quantitative perspective, there is a need to shift from classical ...
T2 Coalgebraic Metric Bisimulation Bisimulations are an extremely useful tool for reasoning about the equivalence of systems: in order to prove that two systems ...
T3: Computational Layer: algorithms Language equivalences of finite DAs and bisimilarity of finite LTSs can be respectively computed via the Myhill Nerode algorithm ...
T4 Case study: the ASK system The ASK system is a communication software product that acts as a mediator between service consumers and service providers, for instance ...
T5 Application: a !QoS robust composition calculus for services This task aims at integrating the theoretical results obtained in T1 ad T2 with the team previous work ...